#!/bin/bash
ulimit -t 10
ls -1 boogie_*.bpl | LC_ALL=C sort | xargs fb -sc 0
